AtomFree(Type$_{\mbox{\scriptsize i'}}$;msga\{i:l\})